机译:使用ABV和自动生成SystemC代码的片上系统优化
机译:从HCSP正式模型自动生成SystemC代码
机译:SYSTEMCODESIGNER-通过流媒体应用程序设计空间探索和行为综合的自动ESL综合方法
机译:UML中的SystemC设计建模和自动代码生成
机译:针对嵌入式系统和机器人应用的基于模型的设计,仿真和自动代码生成。
机译:分析SystemC设计:适用于各种应用的SystemC分析方法
机译:从扩展任务图自动生成嵌入式系统的预定系统模型
机译:aUTOCasK(三维CasK模型的自动生成):基于微机的运输桶设计评审分析系统